Reflections on OCL 2.

OCL-Lite: Finite reasoning on UML/OCL conceptual schemas

Article history: Received 10 August 2010 Received in revised form 16 September 2011 Accepted 16 September 2011 Available online 28 September 2011 To ensure the quality of an information system we must guarantee the correctness of the conceptual schema that represents the knowledge about its domain. The high expressivity of UML schemas annotated with textual OCL constraints enforces the need for...

Reflections on Reflections

The graduate student workshop ''Buddhist Art: Objects and Contexts'' was an unusual event. Like Reflections of the Buddha, the exhibition it addressed, it was in constant dialogue with its physical setting, the singular Tadao Ando ¯ building home to the Pulitzer Foundation for the Arts, as the four sessions moved through the four galleries in changing light. The event was also distinguished by ...

Reflections on Gains and Losses: A 2?2?7 Experiment

“Reflections on Gains and Losses: A 2? 2?7 Experiment” by Antoni Bosch-Domènech and Joaquim Silvestre Universitat Pompeu Fabra and University of California, Davis. "Barcelona Economics WP no #" 4

Teaching OCL Standard Library: First Part of an OCL 2.x Course

Our aim is to provide a complete set of materials to teach OCL. They can be used in bachelor or master programs of computer science curricula and for training in an industrial context. In this paper we present the first part of the course related to the OCL Standard Library. This part provides model independent examples to teach OCL types and their operations. It enables users to gain a basic u...

An Investigation on Tadao Ando’s Phenomenological Reflections